A logic programming framework for modeling temporal objects

A Logic Programming Framework for Modeling Temporal Objects

We present a general approach for modelling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a historical (`valid time') database which stores explicitly a record of all changes that have occurred to objects and thus (implicitly) all past states of objects in the database. A snapshot of the database at any given time is an object-oriented data...

METATEM: A Framework for Programming in Temporal Logic

In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a concrete framework, called MetateM for executing (modal and) temporal logics. Our approach is illustrated by the development of an execution mechanism for a propositional temporal logic and for a restricted first order t...

Modeling credulousness and cooperativeness in a Logic Programming Framework

We propose a logic programming framework that allows to model agents with diierent degrees of credulousness and cooperativeness. By credulousness we mean the characteristic that deenes how an agent accepts the information that is conveyed by the diierent speech acts; by cooperativeness we mean the characteristic that deenes how an agent relates his intentions with the other agents intentions. I...

A Framework for a Modal Logic Programming

In this paper we present a framework for developing modal extensions of logic programming , which are parametric with respect to the properties chosen for the modalities and which allow sequences of modalities of the form t], where t is a term of the language, to occur in front of clauses, goals and clause heads. The properties of modalities are speciied by a set A of inclusion axioms of the fo...

A Proof-Theoretic Framework for Logic Programming